Form Follows Data, Iohanna Nicenboim Form Follows Data was a project based on the exploration of the formal language of personal statistic data embedded in everyday objects. The data sources used are based on my body, m

Source URL: lab-zine.com

c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication

Source URL: repository.readscheme.org

• Programming language theory
• Programming language semantics
• Programming language implementation
• Compiler construction
• Denotational semantics
• PreScheme
• Compiler
• Formal methods
• Programming language
• Software engineering
• Theoretical computer science
• Logic in computer science

Cross-lingual Coreference Resolution of Pronouns ˇ Michal Nov´ak and Zdenˇek Zabokrtsk´ y Charles University in Prague, Faculty of Mathematics and Physics Institute of Formal and Applied Linguistics

Source URL: anthology.aclweb.org

• Computational linguistics
• Personal pronouns
• Pragmatics
• Pronouns
• Antecedent
• Coreference
• Anaphora
• Reflexive pronoun
• Natural language processing
• Linguistics
• Syntax
• Semantics

Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗

Source URL: gallium.inria.fr

• C++
• Object-oriented programming
• C programming language
• Cross-platform software
• Procedural programming languages
• C++ classes
• Virtual function
• Virtual method table
• C++11
• Software engineering
• Computing
• Computer programming

ICS 162 – Fall 2003 – Midterm Name: Solution Key Student ID: 1: 30

Source URL: www.ics.uci.edu

• Mathematics
• Computer science
• Pumping lemma for regular languages
• Deterministic finite automaton
• Nondeterministic finite automaton
• Pumping lemma for context-free languages
• Regular language
• Regular expression
• String
• Formal languages
• Automata theory
• Theoretical computer science

Microsoft Word - TREC proceedings.doc

Source URL: trec.nist.gov

• Computational linguistics
• Information retrieval
• Compiler construction
• Formal languages
• Speech recognition
• Shallow parsing
• Parsing
• Search engine indexing
• Focus
• Linguistics
• Science
• Natural language processing

Literal Reification http://ontologydesignpatterns.org/wiki/Submissions:Literal_Reification Aldo Gangemi ISTC-CNR

Source URL: speroni.web.cs.unibo.it

• Computer programming
• Knowledge representation
• RDF
• Formal languages
• Object-oriented programming
• Reification
• RDF Schema
• Web Ontology Language
• FOAF
• Computing
• Software engineering
• Semantic Web

Teaching Grammar: Why Bother? Stephen Krashen 1998 California English Research on the relationship between formal grammar instruction and performance on measures of writing ability is very consistent: There is no relati

Source URL: www.tprstories.com

• Language
• Applied linguistics
• Second-language acquisition
• Cognitive science
• Stephen Krashen
• Second language
• Grammar
• French language
• English grammar
• Languages of Africa
• Linguistics
• Culture

TP Lex and Yacc – The Compiler Writer’s Tools for Turbo Pascal Version 4.1 User Manual Albert Gr¨af Department of Musicinformatics Johannes Gutenberg-University Mainz

Source URL: www.musikwissenschaft.uni-mainz.de

• Parser generators
• Compiling tools
• Compiler construction
• Parsing
• Lex
• Yacc
• Formal language
• Compiler-compiler
• Pascal
• Software
• Computing
• Programming language implementation

THOM MAYNE DESIGNS POSTER FOR CERSAIE 2008 “Architecture is becoming more fluid. The standard is no longer the square tile only. Formal language emerges from lines of force and space develops fluidly in response to ra

Source URL: www.italytile.com

• California
• Hendrik Petrus Berlage
• UCLA School of the Arts and Architecture
• Ettore Sottsass
• Architecture
• Thom Mayne
• Alessandro Mendini
• Southern California Institute of Architecture